Here is an introductory textbook which is designed to be useful not only to intending logicians but also to mathematicians in general. Based on Dr Hamilton's lectures to third and fourth year undergraduate mathematicians at the University of Stirling it has been written to introduce student or professional mathematicians, whose background need cover no more than a typical first...(展开全部)

The book starts with an elementary introduction to formal languages appealing to the intuition of working mathematicians and unencumbered by philosophical or normative prejudices such as those of constructivism or intuitionism. It proceeds to the Proof Theory and presents several highlights of Mathematical Logic of 20th century: Gödel's and Tarski's Theorems, Cohen's Theorem on...(展开全部)

MPI für Mathematik, Bonn, Germany Yu. I. Manin

Product Description Geared toward mathematically sophisticated readers with a solid background in differential geometry, this text was written by two noted teachers at the University of California, Berkeley. It offers a firm foundation in the principles of general relativity, particularly in terms of singularity theorems and the quantization of gravity. 1977 edition. --This tex...(展开全部)

Although ideas from quantum physics play an important role in many parts of modern mathematics, there are few books about quantum mechanics aimed at mathematicians. This book introduces the main ideas of quantum mechanics in language familiar to mathematicians. Readers with little prior exposure to physics will enjoy the book's conversational tone as they delve into such topics...(展开全部)

This textbook provides a first introduction to mathematical logic which is closely attuned to the applications of logic in computer science. In it the authors emphasize the notion that deduction is a form of computation. Whilst all the traditional subjects of logic are covered thoroughly: syntax, semantics, completeness, and compactness; much of the book deals with less traditi...(展开全部)

Designed for both advanced undergraduate and graduate students, this groundbreaking work by a leading philosopher of logic is ideal for courses in logical literacy. Logic for Philosophy covers basic approaches to logic (including proof theory and especially model theory); extensions of standard logic that are important in philosophy; and some elementary philosophy of logic. Eas...(展开全部)